CODEWEAVE: exploring fine-grained mobility of code

This paper is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits significant variability. Units of mobility that are both finer and coarser grained than the unit of execution are examined. To accomplish this, we take the extreme view that every line of code and every variable declaration are potentially mobile, i.e., it may be duplicated or moved from one program context to another on the same host or across the network. We also assume that complex code assemblies may move with equal ease. The result is CODEWEAVE, a model that shows how to develop new forms of code mobility, assign them precise meaning, and facilitate formal verification of programs employing them. The design of CODEWEAVE relies greatly on Mobile UNITY, a notation and proof logic for mobile computing. Mobile UNITY offers a computational milieu for examining a wide range of constructs and semantic alternatives in a clean abstract setting, i.e., unconstrained by compilation and performance considerations traditionally associated with programming language design. Ultimately, the notation offered by CODEWEAVE is given exact semantic definition by means of a direct mapping to the underlying Mobile UNITY model. The abstract and formal treatment of code mobility offered by CODEWEAVE establishes a technical foundation for examining competing proposals and for subsequent integration of some of the mobility constructs both at the language level and within middleware for mobility

Microwave emission from spinning dust in circumstellar disks

In the high density environments of circumstellar disks dust grains are expected to grow to large sizes by coagulation. Somewhat unexpectedly, recent near-IR observations of PAH features from disks around Herbig Ae/Be stars demonstrate that substantial amount of dust mass in these disks (up to several tens of per cent of the total carbon content) can be locked up in particles with sizes ranging from several to tens of nanometers. We investigate the possibility of detecting the electric dipole emission produced by these nanoparticles as they spin at thermal rates (tens of GHz) in cold gas. We show that such emission peaks in the microwave range and dominates over the thermal disk emission at \nu 5 % of the total carbon abundance is locked up in nanoparticles. We test the sensitivity of this prediction to various stellar and disk parameters and show that if the potential contamination of the spinning dust component by the free-free and/or synchrotron emission can be removed, then the best chances of detecting this emission would be in disks with small opacity, having SEDs with steep sub-mm slopes (which minimizes thermal disk emission at GHz frequencies). Detection of the spinning dust emission would provide important evidence for the existence, properties, and origin of the population of small dust particles in protoplanetary disks, with possible ramifications for planet formation.Comment: 9 pages, 3 figures, submitted to Ap

Conformal carpet and grating cloaks

We introduce a class of conformal versions of the previously introduced quasi-conformal carpet cloak, and show how to construct such conformal cloaks for different cloak shapes. Our method provides exact refractive-index profiles in closed mathematical form for the usual carpet cloak as well as for other shapes. By analyzing their asymptotic behavior, we find that the performance of finite-size cloaks becomes much better for metal shapes with zero average value, e.g., for gratings.Comment: added Ref. 12; added 2 figures; reformatte